Positivity of Lagrangians and vanishing of cohomology for microfunctions at the boundary