Fix metamodel changing by importing property prover rules when property prover is *created*, not when it is *imported*.
Fix metamodel changing by importing property prover rules when property prover is *created*, not when it is *imported*.

levilucio/SyVOLT,levilucio/SyVOLT