Polynomial-time satisfiability tests for ’small’ membership theories