explicit_tree_aut: add the CheckInclusion(smaller, bigger) method

Add CheckInclusion(smaller, bigger) method that calls
CheckInclusion(smaller, bigger, params) with default parameters.