add intersection operator for variables and satisfies all