Fixed constraint checking in GP