You're seeing just the function strict_filter_subset, go back to Ash.SatSolver module for more information.