Add basic support for metavariables at is_convertible. Swap is_convertible arguments to make it more intuitive.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Fix bug in the creation of children environments. Remove unnecessary function.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Fix bug in the creation of children environments. Remove unnecessary function.