#4 removed unnecessary prob type coercing. But no speed gain
avoid 3x traverse of iA-to, do it at the upper level and keep variables ==> forward is now 200% faster :-)