added the physical invariant check
added the malicious flag
removed invariant configuration flag