Automated Planning Domain Inference for Task and Motion Planning