added constraint to check if each functional requirement has at least one non-functional req attached to it