Fixed check_property/4.  Checks must be executed in the implementation module context, not in the context of the caller.