TRICK_ICG_EXCLUDE=${TRICK_HOME}/trick_models/exclude_me
TRICK_CFLAGS += -I../models
TRICK_CXXFLAGS += -I../models