package examples.head_subset_rule import future.keywords.if p if q["prod"]