Fixes sometimes chaining several verifications into one assertions resulting in an error

The problem was some missing propriety names that should not be made callable.
Runs the compile step