Area and Mobprog verifier for AVATAR Mud