Correct guards for static operations and variables