add intersection operator for variables and satisfies all
add extra rationale logging for variables
Merge pull request #10 from pophealth/add_intersection_operator

add intersection operator for variables and satisfies all