ok check for symexec; bugfixes

also, tried to get rid of some outer/inner form mixture
(which is related to abysmal performance, btw)