Logical Abstractions for Noisy Variational Quantum Algorithm Simulation