Cleaned up the definition of isSubmapOfBy