Implement with-specification -> john tree conversion.