OverlappingLine/overlapping_goal_model library