isValid

Return

true if the condition is satisfied in current environment.