Fix guard condition for nested cofixpoints in checker.