First version of execution component of BARF + SMT support disabled by default