Boolean language operations on nondeterministic automata with a pushdown of constant height