Membership and separation problems inside two-variable first order logic