Added basic expression lifting