For the lack of PortB.3 ... I'm not sure, but I read somewhere here about a bug or twisting in the pins and more generally modifyers ...

you could verify that by naming your inputs and outputs pins as

LedB3 var PortB.3

etc

and using no more modyfiers ...

Alain