Constraint-Based Inference of Heuristics for Foreign Exchange Trade Model Optimization