Assert valid properties in base case to improve performance