Checker Interface for Femida