Added predicate (compiles? static-body main-body).
Fixed bug that forced to pick a candidate twice.
Now using the predicate "compiles?".
Added logging capacity and removed two debug outputs.