Stupid mistake in checking if tlambda could expand